$\forall$${\it es}$:ES, ${\it ff}$:FIFO, $j$, $i$:${\it ff}$.C, $e$:\{$e$:E$\mid$ ${\it ff}$.S($j$,$i$,$e$)\} . ($e$ $<$ ${\it ff}$.Receiver($j$,$i$,$e$))